#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>

//int main()
//{
//	char str[1000] = { 0 };
//	gets(str);
//	int k = 0;
//	scanf("%d", &k);
//	str[k] = '\0';
//	puts(str);
//	return 0;
//}

#include <stdio.h>

int main()
{
    int n = 0;
    int k = 0;
    long long num = 0;
    scanf("%d %d", &n, &k);
    if (k == 0)
    {
        printf("%lld", (long long)n * n);
        return 0;
    }
    for (int i = k + 1; i <= n; ++i)
    {
        num += (n / i) * (i - k) + (n % i - k + 1 > 0 ? n % i - k + 1 : 0);
    }
    printf("%lld", num);
    return 0;
}